Safe Concurrent Programming and Execution
نویسندگان
چکیده
منابع مشابه
Concurrency Manager
The advent of web–based information systems significantly increased the number of concurrent programs. Concurrent programs must control concurrency to guarantee safe implementations, which avoid interference that lead systems to inconsistent states and behaviors. To implement some of these controls we need to use programming language features, such as blocking methods to avoid their concurrent ...
متن کاملStatic Timing Analysis of Parallel Systems Using Abstract Execution
The Power Wall has stopped the past trend of increasing processor throughput by increasing the clock frequency and the instruction level parallelism. Therefore, the current trend in computer hardware design is to expose explicit parallelism to the software level. This is most often done using multiple processing cores situated on a single processor chip. The cores usually share some resources o...
متن کاملThe Diadora Principle: Eecient Execution of Concurrent Logic and Related Languages
Compile-time partitioning of ne-grained concurrent languages is diicult, because it must be both powerful enough to greatly increase the grain size and safe from introducing errors, particularly cycles (data dependencies that circularly link tasks). Incorrect assignment of a cycle into a single thread can result in deadlock, but perfectly safe data dependency analysis is especially diicult for ...
متن کاملThe Diadora Principle: Efficient Execution of Concurrent Logic and Related Languages
Compile-time partitioning of fine-grained concurrent languages i s dificult, because it must be both powerful enough lo greatly increase the grain size and safe from introducing errors, particularly cycles (data dependencies that circularly link tasks). Incorrect assagnment of a cycle into a single thread can result in deadlock , but perfectly safe data dependency analysis zs especially difficu...
متن کاملConcurrent Models for Object Execution
In previous work we developed a framework of computational models for the concurrent execution of functions on different levels of abstraction. It shows that the traditional sequential execution of function is just a possible implementation of an abstract computational model that allows for the concurrent execution of functions. We use this framework as base for the development of abstract comp...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2013